A Convenient Category of Locally Preordered Spaces
نویسنده
چکیده
As a practical foundation for a homotopy theory of abstract spacetime, we propose a convenient category S , which we show to extend a category of certain compact partially ordered spaces. In particular, we show that S ′ is Cartesian closed and that the forgetful functor S →T ′ to the category T ′ of compactly generated spaces creates all limits and colimits.
منابع مشابه
A Convenient Category for Directed Homotopy
We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.
متن کاملA CONVENIENT CATEGORY FOR DIRECTED HOMOTOPY Dedicated to Walter Tholen at the occasion of his sixtieth birthday
We propose a convenient category for directed homotopy consisting of “directed” topological spaces generated by “directed” cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.
متن کاملSome Utility Theorems on Inductive Limits of Preordered Topological Spaces
One of the main problems in utility theory is to find conditions which imply the numerical representability of topological spaces on which a preorder, or partial order, is defined. This study has reached a wide development in the literature: see, for instance, the works of Eilenberg, Debreu, Fleischer and Jaffray on completely preordered topological spaces [9, 7, 10, 15], and the seminal book b...
متن کاملDescent for Priestley Spaces
A characterization of descent morphism in the category of Priestley spaces, as well as necessary and sufficient conditions for such morphisms to be effective are given. For that we embed this category in suitable categories of preordered topological spaces were descent and effective morphisms are described using the monadic description of descent.
متن کاملQ-closure spaces
For a small quantaloid Q, a Q-closure space is a small category enriched in Q equipped with a closure operator on its presheaf category. We investigate Q-closure spaces systematically with specific attention paid to their morphisms and, as preordered fuzzy sets are a special kind of quantaloid-enriched categories, in particular fuzzy closure spaces on fuzzy sets are introduced as an example. By...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 17 شماره
صفحات -
تاریخ انتشار 2009